Свойства логических операций (две алгебры)
( Read more... )

“Логика для чайников” пока находится в стадии проекта. Из-за этого случаются некоторые накладки. Например, то, что темы у меня идут вперемешку, я нередко возвращаюсь к старой теме, продолжая ее, а потом перескакиваю на другую. Конечно, в финальном варианте все это будет приглажено ( Read more... )

Экспериментальная логика

( Read more... )

Проблема условных высказываний

( Read more... )

Про формальную логику говорят, что она "абстрагируется от содержания", оперируя только истинностью. Что это значит? Можно показать на примере наглядно.

Абстрагирование в логике
( Read more... )

Калейдоскоп понятий

Доказанное и истинное, ложное и опровергнутое... как это все соотносится друг с другом?
( Read more... )

Свойства условных высказываний

Помимо двух modus-ов, есть еще ряд полезных свойств условных высказываний.

( Read more... )

Modus tollens
( Read more... )

Modus ponensДальше речь пойдет о свойствах условных высказываний ( Read more... )

После долгого перерыва продолжаю серию "логика для чайников". Спасибо falcao за вдохновение! :)

Условные высказыванияРанее я уже говорил о простейших логических операциях - “И”, “ИЛИ”, “НЕ”, “XOR”. Рассмотрение было подробным, так что напомню буквально несколькими фразами ( Read more... )